Proof Verification for Large tree/Current::verify_proof - big
|
|
Additional Statistics:
| Lower bound | Estimate | Upper bound | |
|---|---|---|---|
| Slope | 1.3697 ms | 1.3700 ms | 1.3704 ms |
| R² | 0.9998611 | 0.9998680 | 0.9998586 |
| Mean | 1.3696 ms | 1.3699 ms | 1.3703 ms |
| Std. Dev. | 961.95 ns | 1.6180 µs | 2.1985 µs |
| Median | 1.3694 ms | 1.3696 ms | 1.3697 ms |
| MAD | 556.97 ns | 765.33 ns | 962.56 ns |
Understanding this report:
The plot on the left displays the average time per iteration for this benchmark. The shaded region shows the estimated probability of an iteration taking a certain amount of time, while the line shows the mean. Click on the plot for a larger view showing the outliers.
The plot on the right shows the linear regression calculated from the measurements. Each point represents a sample, though here it shows the total time for the sample rather than time per iteration. The line is the line of best fit for these measurements.
See the documentation for more details on the additional statistics.